On Sub-Propositional Fragments of Modal Logic

In this paper, we consider the well-known modal logics $\mathbf{K}$, $\mathbf{T}$, $\mathbf{K4}$, and $\mathbf{S4}$, and we study some of their sub-propositional fragments, namely the classical Horn fragment, the Krom fragment, the so-called core fragment, defined as the intersection of the Horn and the Krom fragments, plus their sub-fragments obtained by limiting the use of boxes and diamonds in clauses. We focus, first, on the relative expressive power of such languages: we introduce a suitable measure of expressive power, and we obtain a complex hierarchy that encompasses all fragments of the considered logics. Then, after observing the low expressive power, in particular, of the Horn fragments without diamonds, we study the computational complexity of their satisfiability problem, proving that, in general, it becomes polynomial

Semántica funcional para lógicas temporales X modales. Definibilidad y Teoremas de completitud

Este trabajo está enmarcado en un área de conocimiento teórico, concretamente en el campo de la Lógica Formal como parte de los Fundamentos Matemáticos de la Computación. Sin embargo, su motivación ha partido de un área de conocimiento aplicado como la búsqueda de lógicas adecuadas para la especificación y control de procesos y sistemas multiagentes. Las lógicas introducidas permiten la especificación y control de procesos paralelos y el comportamiento de distintos agentes conectados en red. La investigación llevada a cabo por nuestro grupo de investigación GIMAC (Grupo de Investigación en herramientas matemáticas para la Computación) hasta la fecha de inicio de este trabajo, cuyo objetivo puede ser descrito como: "El diseño de una nueva metodología de demostración automática de teoremas que contribuya al uso real de software deductivo y, en definitiva, al uso de la Lógica en Computación" y, concretamente, los estudiso realizados en el grupo en aspectos tanto teóricos como aplicativos de las lógicas modales y temporales, y siendo conscientes de que las aplicaciones reclaman la integración de distintas lógicas, planteamos lógica adecuada a las aplicaciones anteriormente señaladas una lógica temporal x modal. Consideramos como aspectos destacado y novedosos en la investigación: El estudio de la definibilidad de las propiedades destacadas de clases de funciones tales como: totalidad, sobreyectividad, inyectividad, crecimiento, componibilidad, sin necesidad de hacer uso de la lógica de segundo orden. Deseamos destacar que nuestro trabajo ha tenido un punto de partida diferente a la de los trabajos existentes en la bibliografía en los que encontramos contemplada la combinación de tiempo y modalidad y en los que se abordan cuestiones filosóficas tales como el determinismo, la teoría de la acción, la causalidad, los condicionales, etc. Ver, por ejemplo, [Aqvist(1999)], [Belnap and Perloff)1990)], [Bel

Fuzzy closure relations

The concept of closure operator is key in several branches of mathematics. In this paper, closure operators are extended to relational structures, more specifically to fuzzy relations in the framework of complete fuzzy lattices. The core of the work is the search for a suitable definition of (strong) fuzzy closure relation, that is, a fuzzy relation whose relation with fuzzy closure systems is one-to-one. The study of the properties of fuzzy closure systems and fuzzy relations helps narrow down this exploration until an appropriate definition is settled.This research is partially supported by the State Agency of Research (AEI), the Spanish Ministry of Science, Innovation and Universities (MCIU), the European Social Fund (FEDER), the Junta de Andalucía (JA), and the Universidad de Málaga (UMA) through the FPU19/01467 (MCIU) internship and the research projects with reference PGC2018-095869-B-I00, TIN2017-89023-P (MCIU/AEI/FEDER, UE) and UMA2018-FEDERJA-001 (JA/UMA/FEDER, UE). Funding for open access charge: Universidad de Málaga

Closure Structures as fixed points of some Galois connections.

The starting point of this work is a published paper where the fuzzy powerset of a fuzzy lattice A, the set of isotone mappings on A and the set of isotone total relations on A were proved to be related by three fuzzy Galois connections such that fuzzy closure systems, fuzzy closure operators and the so called strong fuzzy closure relations are fixed points. The final part of that paper studied the commutativity of the diagrams formed by these mappings.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tec

Fuzzy Closure Structures as Formal Concepts II

This paper is the natural extension of Fuzzy Closure Structures as Formal Concepts. In this paper we take into consideration the concept of closure system which is not dealt with in the previous one. Hence, a connection must be found between fuzzy ordered sets and a crisp ordered set. This problem is two-fold, the core of the fuzzy orders can be considered in order to complete the ensemble, or the crisp order can be fuzzified. Both ways are studied in the paper. The most interesting result is, similarly to the previous paper, that closure systems are formal concepts of these Galois connections as well.Funding for open access charge: Universidad de Málaga / CBUA This research is partially supported by the State Agency of Research (AEI), the Spanish Ministry of Science, Innovation, and Universities (MCIU), the European Social Fund (FEDER), the Junta de Andalucía (JA), and the Universidad de Málaga (UMA) through the FPU19/01467 (MCIU) internship, the project VALID (PID2022-140630NB-I00 funded by MCIN/ AEI/10.13039/501100011033) and the research projects with reference PGC2018-095869-B-I00, PID2021-127870OB-I00, (MCIU/AEI/FEDER, UE) and UMA18-FEDERJA-001 (JA/ UMA/ FEDER, UE)

Fuzzy closure structures as formal concepts

Galois connections seem to be ubiquitous in mathematics. They have been used to model solutions for both pure and application-oriented problems. Throughout the paper, the general framework is a complete fuzzy lattice over a complete residuated lattice. The existence of three fuzzy Galois connections (two antitone and one isotone) between three specific ordered sets is proved in this paper. The most interesting part is that fuzzy closure systems, fuzzy closure operators and strong fuzzy closure relations are formal concepts of these fuzzy Galois connections.This research is partially supported by the State Agency of Research (AEI), the Spanish Ministry of Science, Innovation and Universities (MCIU), the European Social Fund (FEDER), the Junta de Andalucía (JA), and the Universidad de Málaga (UMA) through the FPU19/01467 (MCIU) internship and the research projects with reference PGC2018-095869-B-I00, TIN2017-89023-P, PID2021-127870OB-I00 (MCIU/AEI/FEDER, UE) and UMA18-FEDERJA-001 (JA/ UMA/ FEDER, UE). Funding for open access charge: Universidad de Málaga / CBU

Fuzzy relational Galois connections between fuzzy transitive digraphs

We present a fuzzy version of the notion of relational Galois connection between fuzzy transitive directed graphs (fuzzy T-digraphs) on the specific setting in which the underlying algebra of truth values is a complete Heyting algebra. The components of such fuzzy Galois connection are fuzzy relations satisfying certain reasonable properties expressed in terms of the so-called full powering. Moreover, we provide a necessary and sufficient condition under which it is possible to construct a right adjoint for a given fuzzy relation between a fuzzy T-digraph and an unstructured set.This research is partially supported by the State Agency of Research (AEI), the Spanish Ministry of Science, Innovation and Universities (MCIU), the European Social Fund (FEDER), the Junta de Andalucía (JA), and the Universidad de Málaga (UMA) through the research projects with reference PGC2018-095869-B-I00, PID2021-127870OB-I00, (MCIU/AEI/FEDER, UE) and UMA18-FEDERJA-001 (JA/ UMA/ FEDER, UE). B. De Baets was supported by the Flemish Government under the “Onderzoeksprogramma Artificiële Intelligentie (AI) Vlaanderen” programme. Funding for open access charge: Universidad de Málaga / CBU

Comprehensive and systematic characterization of multi-functionalized cisplatin nano-conjugate: from the chemistry and proteomic biocompatibility to the animal model

Background Nowadays, nanoparticles (NPs) have evolved as multifunctional systems combining different custom anchorages which opens a wide range of applications in biomedical research. Thus, their pharmacological involvements require more comprehensive analysis and novel nanodrugs should be characterized by both chemically and biological point of view. Within the wide variety of biocompatible nanosystems, iron oxide nanoparticles (IONPs) present mostly of the required features which make them suitable for multifunctional NPs with many biopharmaceutical applications. Results Cisplatin-IONPs and different functionalization stages have been broadly evaluated. The potential application of these nanodrugs in onco-therapies has been assessed by studying in vitro biocompatibility (interactions with environment) by proteomics characterization the determination of protein corona in different proximal fluids (human plasma, rabbit plasma and fetal bovine serum),. Moreover, protein labeling and LC–MS/MS analysis provided more than 4000 proteins de novo synthetized as consequence of the nanodrugs presence defending cell signaling in different tumor cell types (data available via ProteomeXchanges with identified PXD026615). Further in vivo studies have provided a more integrative view of the biopharmaceutical perspectives of IONPs. Conclusions Pharmacological proteomic profile different behavior between species and different affinity of protein coating layers (soft and hard corona). Also, intracellular signaling exposed differences between tumor cell lines studied. First approaches in animal model reveal the potential of theses NPs as drug delivery vehicles and confirm cisplatin compounds as strengthened antitumoral agents

Horn fragments of the Halpern-Shoham Interval Temporal Logic

We investigate the satisfiability problem for Horn fragments of the Halpern-Shoham interval temporal logic depending on the type (box or diamond) of the interval modal operators, the type of the underlying linear order (discrete or dense), and the type of semantics for the interval relations (reflexive or irreflexive). For example, we show that satisfiability of Horn formulas with diamonds is undecidable for any type of linear orders and semantics. On the contrary, satisfiability of Horn formulas with boxes is tractable over both discrete and dense orders under the reflexive semantics and over dense orders under the irreflexive semantics but becomes undecidable over discrete orders under the irreflexive semantics. Satisfiability of binary Horn formulas with both boxes and diamonds is always undecidable under the irreflexive semantics

Prevention, Diagnosis and Management of Post-Surgical Mediastinitis in Adults Consensus Guidelines of the Spanish Society of Cardiovascular Infections (SEICAV), the Spanish Society of Thoracic and Cardiovascular Surgery (SECTCV) and the Biomedical Research Centre Network for Respiratory Diseases (CIBERES)

Prevention, Diagnosis and Management of Post-Surgical Mediastinitis in Adults Consensus Guidelines of the Spanish Society of Cardiovascular Infections (SEICAV), the Spanish Society of Thoracic and Cardiovascular Surgery (SECTCV) and the Biomedical Research Centre Network for Respiratory Diseases (CIBERES) doctors and radiologists. Despite the clinical and economic consequences of sternal wound infections, to date, there are no specific guidelines for the prevention, diagnosis and management of mediastinitis based on a multidisciplinary consensus. The purpose of the present document is to provide evidencebased guidance on the most effective diagnosis and management of patients who have experienced or are at risk of developing a post-surgical mediastinitis infection in order to optimise patient outcomes and the process of care. The intended users of the document are health care providers who help patients make decisions regarding their treatment, aiming to optimise the benefits and minimise any harm as well as the workload.Funding: J.M. Miró was a recipient of a personal 80:20 research grant from IDIBAPS during the period 2017–2021